Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท15h
๐Ÿ”ML Language
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.comยท9h
โœจEffect Inference
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.comยท2dยท
Discuss: r/LocalLLaMA
๐ŸŽ“Teaching Compilers
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.netยท1d
โšกIncremental Parsing
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐ŸชขRope Algorithms
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท10mยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
The RAG Playbook: A Data Science Guide to Document Chunking
pub.towardsai.netยท2h
๐ŸŒฑMinimal ML
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Languages
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.toยท18hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Neuro-Symbolic AI
en.wikipedia.orgยท5hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸคZipper Structures
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐Ÿ”„Incremental Lexing